The study determined the problem-solving performance and skills of prospective elementary teachers (PETs) in the Northern Philippines. Specifically, it defined the PETs’ level of problem-solving performance in number sense, measurement, geometry, algebra, and probability; significant predictors of their problem-solving performance in terms of sex, socio-economic status, parents’ educational attainment, high school graduated from and subject preference; and their problem-solving skills. The PETs’ problem-solving performance was determined by a problem set consisting of word problems with number sense, measurement, geometry, algebra, and (...) probability. A mixed-method research design was employed. Senior PETs purposively served as a sample where they mostly preferred to teach other subjects than mathematics. PETs who preferred math performed satisfactorily, while prospective teachers who opted for other subjects performed unsatisfactorily. The PETs’ unsatisfactory output indicates the need for remediation to advance the mathematical material skills and enrich the problem-solving abilities of these primary schools' potential teachers. Besides, results showed that subject preference strongly affected and predicted the problem-solving success of the PETs. PETs who preferred to teach mathematics performed significantly better than their counterparts; hence, mathematics as a field of specialization in the Bachelor of Elementary Education program may be considered by teacher education institutions. Further, most PETs displayed lack of problem-solving skills; thus, a Problem-Solving course is recommended for them. (shrink)

This study determined the cognitive skills achievement in mathematics of elementary pre-service teachers as a basis for improving problem-solving and critical thinking which was analyzed using Piaget's seven logical operations namely: classification, seriation, logical multiplication, compensation, ratio and proportional thinking, probability thinking, and correlational thinking. This study utilized an adopted Test on Logical Operations (TLO) and descriptive research design to describe the cognitive skills achievement and to determine the affecting factors. Overall, elementary pre-service teachers performed with sufficient understanding in dealing (...) with the TLO. However, in each logical operation, students were found to have insufficient understanding of probability thinking and correlational thinking. These insufficiencies in other logical operations were attributed to their misconceptions on some mathematical terms, misinterpretation of the problems, poor comprehension skills, poor problem-solving skills, and poor performance in mathematics in general. (shrink)

The study determined the influence of innate mathematical characteristics on the number sense competencies of junior high school students in a Philippine public school. The descriptive-correlational research design was used to accomplish the study involving a nonrandom sample of sixty 7th-grade students attending synchronous math sessions. Data obtained from the math-specific Learning Style and Self-Efficacy questionnaires and the modified Number Sense Test (NST) were analyzed and interpreted using descriptive statistics, Pearson’s Chi-Square, and Simple Linear Regression analysis. The research instruments and (...) statistics were all validated and tested for reliability. The analysis revealed that the students are visual learners, had no or slight self-efficacy, and their number sense competency level is poor. They encountered difficulty in all the components and domains of the NST. Moreover, the students’ mathematical self-efficacy is significantly related and may influence their number sense competency level. Building upon the learners’ self-efficacy to further their understanding and skills in number sense is necessary. (shrink)

In lieu of an abstract, here is a brief excerpt of the content:Journal of the History of Philosophy 41.3 (2003) 417-418 [Access article in PDF] Heidi M. Ravven and Lenn E. Goodman, editors. Jewish Themes in Spinoza's Philosophy. Albany: The State University of New York Press, 2002. Pp. ix + 290. Cloth, $78.50. Paper, $26.95.The current anthology presents an important contribution to the study of Spinoza's relation to Jewish philosophy as well as to contemporary scholarship of Spinoza's metaphysics and political (...) theory.In the opening essay, Lenn Goodman takes upon himself the ambitious task of evaluating Spinoza's positions as to several central disputes throughout the history of philosophy. In this rich and extensive essay Goodman argues that Spinoza's radical rationalism makes him pursue syntheses between traditionally opposed poles. Lee Rice's article, "Love of God in Spinoza," carefully analyzes Spinoza's concept of love and suggests the existence of three kinds of love parallel to the three kinds of knowledge. Warren Montag addresses the unresolved issue of Spinoza's relation to the Kabbalah. Montag sides with Deleuze against the association of Spinozism with the Neo-Platonic theory of emanation, arguing that unlike the Neo-Platonists and Kabbalists, Spinoza's view of God rules out any hierarchy, and does not assume a descent from primal simplicity into complexity. Edwin Curley contributes a beautiful reading of the story of Job and of Maimonides' interpretation of the story. Curley follows Maimonides' discussion of the various positions regarding the question of divine providence and his attempt to identify the speeches of the characters of the book of Job with each of these positions. Following a sensitive consideration of various attempts to [End Page 417] recover Maimonides' own rather concealed view about providence, Curley concludes that "[W]hatever you think Maimonides' final word on Job is, our examination of him certainly supports [Spinoza's] claim that [Maimonides] reads Scripture in terms of Platonic or Aristotelian speculations" (170).Warren Zev Harvey's essay addresses Spinoza's most neglected work, the Compendium of the Grammar of the Hebrew Language. Apart from providing an outline of Spinoza's work as a Hebrew grammarian ("a noun-intoxicated grammarian") and pointing out some of Spinoza's more eccentric views about the nature of the Hebrew language, Harvey makes a compelling case for the importance of the book for the study of Spinoza's metaphysics. He points out a fascinating analogy which Spinoza draws between the parts of speech: (proper) noun, adjectives, and participles, and Spinoza's key metaphysical terms: substance, attributes, and modes. (Think about the weighty implications of this analogy for Curley's interpretation of the substance-mode relation.) According to Harvey, Spinoza's claim that all Hebrew words are derived from nouns is a linguistic parallel to Spinoza's pivotal metaphysical doctrine which makes all things be in the substance (or God). Kenneth Seeskin's article discusses the views of Maimonides and Spinoza on the question of creation and God's relation to the world. Seeskin reconstructs an interesting critical dialogue between these two philosophers. According to Seeskin, both philosophers held that an effect must be similar to its cause. Maimonides' commitment to Negative Theology and to the denial of any common measure between God and finite things forced him to deny causal or explanatory relation between God and the world. What Maimonides can suggest instead is rather to prove that the emergence of the world ex nihilo and according to the divine will, is possible, and even likely given certain astronomical facts of medieval science. Thus, Maimonides would hold that "although we have grounds for believing that creation occurred, we will never be in a position to say how" (120). For Spinoza, such a view constitutes nothing but a "sanctuary of ignorance." Thus, according to Seeskin, Spinoza affirms a clear causal relation between God and the world of finite things insofar as God is said to explain the world. While I tend to agree with most aspects of this analysis, it is important to note that Spinoza also claims that "between the finite and infinite there is no relation" (Letter 54). This... (shrink)

The article presents the interdisciplinary approach of Edwin Hutchins, analyzing his conception of distributed cognition as probably the most important and lasting contribution of anthropology to the repertoire of theoretical tools in cognitive science. At the same time, this conception resulted in one of the most interesting relationships between cognitive science and social sciences. These relationships are made possible by the assumptions of Hutchins’ conception, which directly contribute to interdisciplinary collaboration. His account of distributed cognition has enormous potential, allowing (...) the integration of research into cognitive and social processes. This is also because it breaks with methodological individualism. (shrink)

It is standard to think that in Spinoza’s system, all things are necessary and in no sense contingent. However, in his classic book, Spinoza’s Metaphysics, published in 1969, Edwin Curley argues based on the proposition 28 of the first part of the Ethics that Spinoza endorses necessitarianism of only a modest kind, according to which when it comes to finite modes, there is a sense in which they are contingent. In this paper, I revisit Curley’s argument. Commentators (...) have responded to Curley’s argument, showing that Spinoza’s remarks on infinite modes entail that finite modes can in no sense be contingent. But this alone falls short of dispelling Curley’s misgivings about the standard interpretation, for it remains unexplained why Curley is wrong in thinking that the proposition 28 supports his moderate necessitarian interpretation. In defense of the standard interpretation, I bolster the usual response to Curley in greater detail than has been done in the literature and explain why, pace Curley, the proposition 28 plays no evidential role in support of Curley’s interpretation. (shrink)

Spinoza's philosophy of mind is thought to lack a serious account of consciousness. In this essay I argue that Spinoza's doctrine of ideas of ideas has been wrongly construed, and that once righted it provides the foundation for an account. I then draw out the finer details of Spinoza's account of consciousness, doing my best to defend its plausibility along the way. My view is in response to a proposal by Edwin Curley and the serious objection leveled against (...) it by Margaret Wilson and Jonathan Bennett. (shrink)

Contributors: Steven Barbone, Laurent Bove, Edwin Curley, Valérie Debuiche, Michael Della Rocca, Simon B. Duffy, Daniel Garber, Pascale Gillot, Céline Hervet, Jonathan Israel, Chantal Jaquet, Mogens Lærke, Jacqueline Lagrée, Martin Lin, Yitzhak Y. Melamed, Pierre-François Moreau, Steven Nadler, Knox Peden, Alison Peterman, Charles Ramond, Michael A. Rosenthal, Pascal Sévérac, Hasana Sharp, Jack Stetter, Ariel Suhamy, Lorenzo Vinciguerra.

I propose that Leibniz did not state Leibniz’s Law, the logically and metaphysically robust principle that is typically understood as the following biconditional: ∀x ∀y [(x = y) ↔ ∀P (Px ↔ Py)]. To arrive at this conclusion, I examine the three principles that have become associated with Leibniz’s Law: the Substitutivity Principle (salva veritate), the Indiscernibility of Identicals, and the Identity of Indiscernibles. I show that Leibniz intended salva veritate as a semantic principle, never explicitly stated the Indiscernibility of (...) Identicals, and understood the Identity of Indiscernibles as a metaphysical principle. In the debate about Leibniz’s Law, I focus on four commentators: (1) W. V. O. Quine’s construal of salva veritate as the Indiscernibility of Identicals, (2) Nicholas Rescher’s contention that both the Identity of Indiscernibles and salva veritate may be construed as Leibniz’s Law, (3) Fred Feldman’s argument that Leibniz did not state a law or definition of identity, but only a criterion of identity for concepts, and (4) Edwin Curley’s response to Feldman, that Feldman’s assumptions, along with passages in Leibniz, show Leibniz did state Leibniz’s Law. I argue that Feldman’s position is not completely correct but can be amended with insights from Quine, Rescher, and Curley and by reference to Leibniz’s Complete Concept Theory. (shrink)

A relação entre os modos e a substância na filosofia de Espinosa é tida tradicionalmente como de inerência, de maneira semelhante, grosso modo, à relação entre os acidentes e as substâncias na filosofia aristotélica. Essa concepção de inerência foi contestada por Edwin Curley a partir de 1969. Esta monografia, no primeiro capítulo, procura defender que a relação entre os modos e a substância em Espinosa é de inerência, contra Curley, explicando em que consiste essa relação e diferenciando-a (...) da concepção aristotélica de inerência. No segundo capítulo, são apresentadas e respondidas objeções elaboradas por Pierre Bayle ainda no século XVIII contra a concepção de inerência dos modos na substância em Espinosa e que serviram como apoio para os ataques de Curley. (shrink)

În acest articol încerc să argumentez opinia că, așa cum este definită eugenia, este foarte dificil de făcut o diferențiere clară între știință (medicină, ingineria genetică) și eugenie. Și de stabilit o linie peste care ingineria genetică nu ar trebui să treacă, conform unor norme morale, juridice și religioase. Atâta timp cât acceptăm ajutorul geneticii în găsirea unor modalități de combatere a cancerului, diabetului sau HIV, acceptăm în mod implicit și eugenia pozitivă, conform definiției actuale. Și atâta timp cât acceptăm (...) screening-ul genetic, și intervenții asupra fătului nenăscut, sau avortul, acceptăm în mod implicit și eugenia negativă. În plus, la nivel de guverne, deși oficial eugenia este repudiată, ea a fost legalizată în foarte multe țări până de curând, și încă mai este acceptată și legalizată, chiar dacă în forme mai subtile, și în prezent. În Introducere definesc termenul și modurile de clasificare. Urmează Istoria eugeniei pornind din perioada antică, introducerea eugeniei de Francis Galton, practica eugeniei ca politică de stat în diverse țări, și eugenia actuală (eugenia liberală). Analizez apoi diverse probleme ridicate de Etica eugeniei liberale, și am dezvoltat o secțiune aparte pentru Viitorul eugeniei, cu accent pe proiectul genomului uman. În final, în secțiunea Concluzii expun opiniile personale cu privire la practica actuală a eugeniei. Am folosit ca surse principale de investigație articolele lui Kenneth M. Ludmerer, ”American Geneticists and the Eugenics Movement: 1905-1935”, Kathy J. Cooke, ”Duty or Dream? Edwin G. Conklin's Critique of Eugenics and Support for American Individualism”, Jonathan Anomaly, ”Defending Eugenics”, John R. Harding Jr. ”Beyond Abortion: Human Genetics and the New Eugenics”, Michael Boulter, ”Bloomsbury Scientists”, Chapter Title: The rise of eugenics, 1901–14, Michael Ruse and Edward O. Wilson, ”Moral Philosophy as Applied Science” și Goering, Sara, "Eugenics". (shrink)

There is no doubt that custard apple diseases are among the important reasons that destroy the Custard Apple plant and its agricultural crops. This leads to obvious damage to these plants and they become inedible. Discovering these diseases is a good step to provide the appropriate and correct treatment. Determining the treatment with high accuracy depends on the method used to correctly diagnose the disease, expert systems can greatly help in avoiding damage to these plants. The expert system correctly diagnoses (...) Custard Apple disease to make it easier for farmers to find the right treatment based on the appropriate diagnosis. Objectives: A specialized syllable language system was established for the diagnosis of Custard Apple plant disease. (shrink)

The study aimed to identify the relationship between correcting the deviations in the measurement of performance and achieving the objectives of control and the performance of the job at the Islamic University in the Gaza Strip. To achieve the objectives of the research, the researchers used the descriptive analytical approach to collect information. The questionnaire consisted of (20) statements distributed to three categories of employees of the Islamic University (senior management, faculty members, their assistants and members of the administrative board). (...) A random sample of 314 employees was selected and 276 responses were retrieved with a recovery rate of 88.1%. The Statistical Analysis Program (SPSS) was used to enter, process, and analyze the data. The results of the study showed a positive relationship between correcting deviations in performance measurement and achieving the control objectives represented by the functional performance in the Islamic University from the point of view of the members (senior management, faculty and their assistants, and the administrative board), where the relative weight of all the paragraphs was (74.25%). The study recommended the need to ensure that the actual performance of the planned performance is matched and decisions are taken to correct the serious deviations and take the necessary measures in terms of retraining and change in regulations, wages and bonuses and punishment of the culprit, neglect and negligence by mistake. (shrink)

The aim of this paper is to evaluate the critical success factors and investigate the benefits that might be gained once implementing Electronic Customer Relationship Management at HEI from employee perspective. The study conducted at Al Quds Open University in Palestine and data collected from (300) employee through a questionnaire which consist of four variables. A number of statistical tools were intended for hypotheses testing and data analysis, including Spearman correlation coefficient for Validity, reliability correlation using Cronbach’s alpha, and Frequency (...) and Descriptive analysis. The overall findings of the current study show that all the features were important for staff and it was critical success factors, at the same time, websites were providing all the features discussed by the theory whereas staff showed their willingness to use those features if provided. It is also discovered that implementing Electronic Customer Relationship Management can cause staff retention, were provided efficiently and needed to be improved. Research limitations: The survey findings were based on QOU employee in Palestine, UAE and KSA branches not included in the study. (shrink)

Two attitudes are possible: one, that the world is an absolute jungle and that the exercise of coercive power by rulers is only a manifestation of this; and the other, that it is both necessary and right that there should be this exercise of power, that through it the world is much less of a jungle than it could possibly be without it, so that one should in principle be glad of the existence of such power, and only take exception (...) to its unjust exercise. (shrink)

Ontologies are some of the most central constructs in today's large plethora of knowledge technologies, namely in the context of the semantic web. As their coinage indicates, they are direct heirs to the ontological investigations in the long Western philosophical tradition, but it is not easy to make bridges between them. Contemporary ontological commitments often take causality as a central aspect for the ur-segregation of entities, especially in scientific upper ontologies; theories of causality and philosophical ontological investigations often go hand-in-hand, (...) and were essentially inseparable in medieval thought. This constitutes the foundation for a bridge, and this article analyzes the causality-based ontology of the late medieval philosopher Dietrich of Freiberg from the viewpoint of today's upper-ontology engineering. In this bridging attempt, it offers a translation into English of the first part of Dietrich's De origine (abbreviated title) that is a compromise between traditional scholarly translations of medieval Latin philosophical texts and contemporary ontology. (shrink)

Foundational ontologies, central constructs in ontological investigations and engineering alike, are based on ontological categories. Firstly proposed by Aristotle as the very ur- elements from which the whole of reality can be derived, they are not easy to identify, let alone partition and/or hierarchize; in particular, the question of their number poses serious challenges. The late medieval philosopher Dietrich of Freiberg wrote around 1286 a tutorial that can help us today with this exceedingly difficult task. In this paper, I discuss (...) ontological categories and their importance for foundational ontologies from both the contemporary perspective and the original Aristotelian viewpoint, I provide the translation from the Latin into English of Dietrich's De origine II with an introductory elaboration, and I extract a foundational ontology–that is in fact a single-category one–from this text rooted in Dietrich's specification of types of subjecthood and his conception of intentionality as causal operation. (shrink)

For millennia, knowledge has eluded a precise definition. The industrialization of knowledge (IoK) and the associated proliferation of the so-called knowledge communities in the last few decades caused this state of affairs to deteriorate, namely by creating a trio composed of data, knowledge, and information (DIK) that is not unlike the aporia of the trinity in philosophy. This calls for a general theory of knowledge (ToK) that can work as a foundation for a science of knowledge (SoK) and additionally distinguishes (...) knowledge from both data and information. In this paper, I attempt to sketch this generality via the establishing of both knowledge structures and knowledge systems that can then be adopted/adapted by the diverse communities for the respective knowledge technologies and practices. This is achieved by means of a formal–indeed, mathematical–approach to epistemological matters a.k.a. formal epistemology. The corresponding application focus is on knowledge systems implementable as computer programs. (shrink)

The article studies the impact of Fintech on entrepreneurship in Arabic region by using Crowdfunding platforms as the field of study. The article focuses on Arabic Crowdfunding platforms. The population of (12) platforms consist of: individuals, entrepreneurs, investors, employees at Crowdfunding platforms. Descriptive and quantitative approach used in this article, and a questionnaire used as a tool to collect primary data. The results indicate an impact for Fintech on entrepreneurship in general and obvious obstacles to use it widely in Arabic (...) region cause of legislations or e-payments. The article recommended more awareness for innovative products and services such as Fintech, Crowdfunding and adopting the culture of e-business models. Also the article promoting the process of developing regulations that organize e-business models, especially Fintech and Crowdfunding, the use of modern communication technology to serve the development of society, more interest to innovation and creativity as a key factor for entrepreneurial success. (shrink)

"Surrender; therefore, surrender or fight" is apparently an argument corresponding to an inference from an imperative to an imperative. Several philosophers, however (Williams 1963; Wedeking 1970; Harrison 1991; Hansen 2008), have denied that imperative inferences exist, arguing that (1) no such inferences occur in everyday life, (2) imperatives cannot be premises or conclusions of inferences because it makes no sense to say, for example, "since surrender" or "it follows that surrender or fight", and (3) distinct imperatives have conflicting permissive presuppositions (...) ("surrender or fight" permits you to fight without surrendering, but "surrender" does not), so issuing distinct imperatives amounts to changing one's mind and thus cannot be construed as making an inference. In response I argue inter alia that, on a reasonable understanding of 'inference', some everyday-life inferences do have imperatives as premises and conclusions, and that issuing imperatives with conflicting permissive presuppositions does not amount to changing one's mind. (shrink)

Plato is associated with the idea that the body holds us back from knowing ultimate reality and so we should try to distance ourselves from its influence. This sentiment appears is several of his dialogues including Theaetetus where the flight from the physical world is compared to becoming like God. In some major dialogues of Plato's later career such as Philebus and Laws, however, the idea of becoming like God takes a different turn. God is an intelligent force that tries (...) to create order in the physical world. I argue that likeness to God in these dialogues involves imitating God's effort by trying to order our bodies, souls, and societies as intelligence directs. Becoming like Plato's God is not to abandon the world. It is to improve it. (shrink)

Is capitalism inherently predatory? Must there be winners and losers? Is public interest outdated and free-riding rational? Is consumer choice the same as self-determination? Must bargainers abandon the no-harm principle? Prisoners of Reason recalls that classical liberal capitalism exalted the no-harm principle. Although imperfect and exclusionary, modern liberalism recognized individual human dignity alongside individuals' responsibility to respect others. Neoliberalism, by contrast, views life as ceaseless struggle. Agents vie for scarce resources in antagonistic competition in which every individual seeks dominance. This (...) political theory is codified in non-cooperative game theory; the neoliberal citizen and consumer is the strategic rational actor. Rational choice justifies ends irrespective of means. Money becomes the medium of all value. Solidarity and good will are invalidated. Relationships are conducted on a quid pro quo basis. However, agents can freely opt out of this cynical race to the bottom by embracing a more expansive range of coherent action. (shrink)

Intelligent Tutoring Systems (ITS) has a wide influence on the exchange rate, education, health, training, and educational programs. In this paper we describe an intelligent tutoring system that helps student study computer networks. The current ITS provides intelligent presentation of educational content appropriate for students, such as the degree of knowledge, the desired level of detail, assessment, student level, and familiarity with the subject. Our Intelligent tutoring system was developed using ITSB authoring tool for building ITS. A preliminary evaluation of (...) the ITS was done by a group of students and teachers. The results were acceptable. (shrink)

The purpose of this research is to identify the extent of the efficiency of the internal control environment in the Palestinian higher educational institutions in Gaza Strip from the perspective of employees in the Palestinian universities in Gaza Strip, where researchers used in the study five universities. The researchers adopted in their study the descriptive and analytical approach. The research community consists of administrative employees and academic employees with administrative duties. Senior management or the University Council was excluded. The study (...) population compromises of (392) employees. A stratified random sample was chosen and (197) questionnaires were distributed. (160) questionnaires were received back with a return rate of (81.2%).The researchers used a questionnaire to collect that which then was analyzed using (SPSS) to get the results. The research found the following results: the absence of a fundamental difference between the responses of males and females. The lack of significant difference between the responses of the respondents attributed to the variable age. The lack of significant difference between the responses of the respondents attributed to the variable of years of service. And the existence of a fundamental difference between the responses of the respondents attributed to the university variable. The existence of a fundamental difference between the responses of the respondents attributed to the Qualification variable. The existence of a fundamental difference between the responses of the respondents attributed to the administrative level variable. The research found a group of recommendations including: the need to raise awareness of censorship as the basis for the protection of employees in all administrative levels from making mistake.Updating the systems and instructions of control periodically and parallel with the scientific progress and technology.Benefit from regional and international experiences in the application of internal control standards which commensurate with the administrative system of the institution. (shrink)

The van Wijngaarden grammars are two-level grammars that present many interesting properties. In the present article I elaborate on six of these properties, to wit, (i) their being constituted by two grammars, (ii) their ability to generate (possibly infinitely many) strict languages and their own metalanguage, (iii) their context-sensitivity, (iv) their high descriptive power, (v) their productivity, or the ability to generate an infinite number of production rules, and (vi) their equivalence with the unrestricted, or Type-0, Chomsky grammars.

In Who's Afraid of Idealism? the philosophical concept of idealism, the extent to which reality is mind-made, is examined in new light. Author Luis M. Augusto explores epistemological idealism, at the source of all other kinds of idealism, from the viewpoints of Immanuel Kant and Friedrich Nietzsche, two philosophers who spent a large part of their lives denigrating the very concept. Working from Kant and Nietzsche's viewpoints that idealism was a scandal to philosophy and the cause of nihilism, Augusto evaluates (...) these philosophers and their role in shaping epistemological idealism. Using textual evidence from their writings and their reactions to western philosophers such as Plato, Descartes, and Hegel, Who's Afraid of Idealism? argues that in fact Kant and Nietzsche were really idealists at heart. In accessible prose, this text puts forward a theory that goes against current scholarly opinion, and even Kant and Nietzsche's opinions of themselves. (shrink)

Papaya is a tropical fruit with a green cover, yellow pulp, and a taste between mango and cantaloupe, having commercial importance because of its high nutritive and medicinal value. The process of sorting papaya fruit based on maturely is one of the processes that greatly determine the mature of papaya fruit that will be sold to consumers. The manual grading of papaya fruit based on human visual perception is time-consuming and destructive. The objective of this paper is to the status (...) classification of papaya fruits if it's mature or partially matured or unmatured. A deep learning technique that was extensively applied to image recognition was used. The trained model achieved an accuracy of 100% on a held-out test set, demonstrating the feasibility of this approach. Classification model of VGG16 achieved a 100% accuracy and 112 seconds of training time. (shrink)

Kadri Vihvelin, in "What time travelers cannot do" (Philos Stud 81: 315-330, 1996), argued that "no time traveler can kill the baby who in fact is her younger self, because (V1) "if someone would fail to do something, no matter how hard or how many times she tried, then she cannot do it", and (V2) if a time traveler tried to kill her baby self, she would always fail. Theodore Sider (Philos Stud 110: 115-138, 2002) criticized Vihvelin's argument, and Ira (...) Kiourti (Philos Stud 139: 343-352, 2008) criticized both Vihvelin's argument and Sider's critique. I present a critique of Vihvelin's argument different from both Sider's and Kiourti's critiques: I argue in a novel way that both V1 and V2 are false. Since Vihvelin's argument might be understood as providing a challenge to the possibility of time travel, if my critique succeeds then time travel survives such a challenge unscathed. (shrink)

In Flourish, the positive psychologist Martin Seligman (2011) identifies five commonly recognized factors that are characteristic of human flourishing or wellbeing: (1) “positive emotion,” (2) “relationships,” (3) “engagement,” (4) “achievement,” and (5) “meaning” (p. 24). Although there is no settled set of necessary and sufficient conditions neatly circumscribing the bounds of human flourishing (Seligman, 2011), we would mostly likely consider a person that possessed high levels of these five factors as paradigmatic or prototypical of human flourishing. Accordingly, if we wanted (...) to go about the practical task of actually increasing our level of wellbeing, we ought to do so by focusing on practically increasing the levels of the five factors that are characteristic of wellbeing. If, for instance, an activity such as musical engagement can be shown to positively influence each or all of these five factors, this would be compelling evidence that an activity such as musical engagement can positively contribute to one’s living a flourishing life. I’m of the belief that psychological research can and should be used, not only to identify and diagnose maladaptive psychological states, but identify and promote adaptive psychological states as well. In this article I advance the hypothesis and provide supporting evidence for the claim that musical engagement can positively contribute to one’s living a flourishing life. Since there has not yet been a substantive and up-to-date investigation of the possible role of music in contributing to one’s living a flourishing life, the purpose of this article is to conduct this investigation, thereby bridging the gap and stimulating discussion between the psychology of music and the psychology of wellbeing. (shrink)

Not focusing on the history of classical logic, this book provides discussions and quotes central passages on its origins and development, namely from a philosophical perspective. Not being a book in mathematical logic, it takes formal logic from an essentially mathematical perspective. Biased towards a computational approach, with SAT and VAL as its backbone, this is an introduction to logic that covers essential aspects of the three branches of logic, to wit, philosophical, mathematical, and computational.

We often appeal to the notion of an agent’s commitment to action to characterize, e.g., an agent’s faithfulness to a promise she has given to another, her robust disposition to pursue a goal she values or cares about, and her determination to stick to that goal. In the philosophy of action, that notion is often associated with the idea of an agent’s intention to act. In ethics, it is associated primarily with the idea of an agent’s commitment to, or endorsement (...) of, a certain norm. This essay argues that both these ideas, of intention and of normative endorsement, are central to the –or, at least, an—ordinary notion of an agent’s (psychological) commitment to action. In so doing, the essay also sheds light on important features of intention. -/- Keywords: commitment – intention – normative endorsement – stability across contexts – coordination. (shrink)

Philosophers of action of different persuasions have suggested that there is a tight connection between the phenomenon of intending and the phenomena of “being settled on” and of “settling” a course of action. For many, this connection supports an important constraint on intention: one may only intend what one takes one’s so intending as settling. Traditionally, this has been understood as a doxastic constraint on intention: what one takes one’s intention as settling is what one believes one’s so intending as (...) settling. This paper proposes an alternative conception of such a constraint. The idea is to conceive of it in terms of the attitude of reliance, rather than of belief. The aim of the paper is three-fold: to clarify the connection between intending to act and the phenomena of being settled on and of settling a course of action, to provide support for the reliance conception of the cited constraint, and to show that this conception drives a wedge in the familiar dispute, between doxastic and conative accounts of intention, as to whether intending to act necessarily involves the belief that one will so act. (shrink)

How ought we to go about forming and revising our beliefs, arguing and debating our reasons, and investigating our world? If those questions constitute normative epistemology, then I am interested here in normative metaepistemology: the investigation into how we ought to go about forming and revising our beliefs about how we ought to go about forming and revising our beliefs -- how we ought to argue about how we ought to argue. Such investigations have become urgent of late, for the (...) methodology of epistemology has reached something of a crisis. For analytic epistemology of the last half-century has relied overwhelmingly on intuitions,1 and a growing set of arguments and data has begun to call this reliance on intuition seriously into question (e.g., Weinberg, Nichols, and Stich 2001; Nichols, Stich, and Weinberg 2003; Cummins 1998). Although that method has not been entirely without defenders (BonJour 1998; Bealer 1996; Jackson 1998; Sosa forthcoming; Weatherson 2003), these defenses have not generally risen to the specific challenges leveled by the anti-intuitionist critics. In particular, the critics have attacked specific ways of deploying intuitions, and the defenders have overwhelmingly responded with in-principle defenses of the cogency of appealing to intuition. An analogy here would be someone’s responding to arguments alleging systematic.. (shrink)

Contemporary studies in unconscious cognition are essentially founded on dissociation, i.e., on how it dissociates with respect to conscious mental processes and representations. This is claimed to be in so many and diverse ways that one is often lost in dissociation. In order to reduce this state of confusion we here carry out two major tasks: based on the central distinction between cognitive processes and representations, we identify and isolate the main dissociation paradigms; we then critically analyze their key tenets (...) and reported findings. (shrink)

A. Newell and H. A. Simon were two of the most influential scientists in the emerging field of artificial intelligence (AI) in the late 1950s through to the early 1990s. This paper reviews their crucial contribution to this field, namely to symbolic AI. This contribution was constituted mostly by their quest for the implementation of general intelligence and (commonsense) knowledge in artificial thinking or reasoning artifacts, a project they shared with many other scientists but that in their case was theoretically (...) based on the idiosyncratic notions of symbol systems and the representational abilities they give rise to, in particular with respect to knowledge. While focusing on the period 1956-1982, this review cites both earlier and later literature and it attempts to make visible their potential relevance to today's greatest unifying AI challenge, to wit, the design of wholly autonomous artificial agents (a.k.a. robots) that are not only rational and ethical, but also self-conscious. (shrink)

This paper explores how the Leviathan that projects power through nuclear arms exercises a unique nuclearized sovereignty. In the case of nuclear superpowers, this sovereignty extends to wielding the power to destroy human civilization as we know it across the globe. Nuclearized sovereignty depends on a hybrid form of power encompassing human decision-makers in a hierarchical chain of command, and all of the technical and computerized functions necessary to maintain command and control at every moment of the sovereign's existence: this (...) sovereign power cannot sleep. This article analyzes how the form of rationality that informs this hybrid exercise of power historically developed to be computable. By definition, computable rationality must be able to function without any intelligible grasp of the context or the comprehensive significance of decision-making outcomes. Thus, maintaining nuclearized sovereignty necessarily must be able to execute momentous life and death decisions without the type of sentience we usually associate with ethical individual and collective decisions. (shrink)

The gulf between philosophical and formal ontology can and should be bridged. In this Editorial, I elaborate briefly on this subject.

An analysis of--yet another--case of academic failure in multi- and interdisciplinarity. An editorial of the Journal of Knowledge Structures & Systems.

2nd edition. Many-valued logics are those logics that have more than the two classical truth values, to wit, true and false; in fact, they can have from three to infinitely many truth values. This property, together with truth-functionality, provides a powerful formalism to reason in settings where classical logic—as well as other non-classical logics—is of no avail. Indeed, originally motivated by philosophical concerns, these logics soon proved relevant for a plethora of applications ranging from switching theory to cognitive modeling, and (...) they are today in more demand than ever, due to the realization that inconsistency and vagueness in knowledge bases and information processes are not only inevitable and acceptable, but also perhaps welcome. The main modern applications of (any) logic are to be found in the digital computer, and we thus require the practical knowledge how to computerize—which also means automate—decisions (i.e. reasoning) in many-valued logics. This, in turn, necessitates a mathematical foundation for these logics. This book provides both these mathematical foundation and practical knowledge in a rigorous, yet accessible, text, while at the same time situating these logics in the context of the satisfiability problem (SAT) and automated deduction. The main text is complemented with a large selection of exercises, a plus for the reader wishing to not only learn about, but also do something with, many-valued logics. (shrink)

The moral justification of intellectual property is often called into question when placed in the context of pharmaceutical patents and global health concerns. The theoretical accounts of both John Rawls and Robert Nozick provide an excellent ethical framework from which such questions can be clarified. While Nozick upholds an individuals right to intellectual property, based upon its conformation with Lockean notions of property and Nozicks ideas of just acquisition and transfer, Rawls emphasizes the importance of basic liberties, such as an (...) individuals right to health, superceding such secondary rights as intellectual property rights. From a policy perspective, patent protection for pharmaceutical products necessarily entails the balancing of corporate intellectual property interests and public interests in healthcare. The moral dilemma that occurs when these two interests clash is not easily resolved. Aside from corporate and public interests, the state maintains an interest in creating and preserving policies that regulate the moral dilemma itself. This paper analyzes the economic and ethical factors surrounding the production and distribution of the anti-HIV medication, AZT. Potential policy implications and recommendations are also discussed. (shrink)

Rainfall prediction is one of the challenging tasks in weather forecasting. Accurate and timely rainfall prediction can be very helpful to take effective security measures in dvance regarding: on-going construction projects, transportation activities, agricultural tasks, flight operations and flood situation, etc. Data mining techniques can effectively predict the rainfall by extracting the hidden patterns among available features of past weather data. This research contributes by providing a critical analysis and review of latest data mining techniques, used for rainfall prediction. In (...) our proposed system we propose a new forecasting method that uses a Convolutional Neural Network monthly rainfall for a selected location. In our proposed system we are going to forecast the rainfall result based on the mean square error, mean absolute error and root mean square error, which we get in train and test of the dataset based deep learning technique. (shrink)

If time travel is possible, presumably so is my shooting my younger self ; then apparently I can kill him – I can commit retrosuicide. But if I were to kill him I would not exist to shoot him, so how can I kill him? The standard solution to this paradox understands ability as compossibility with the relevant facts and points to an equivocation about which facts are relevant: my killing YS is compossible with his proximity but not with his (...) survival, so I can kill him if facts like his survival are irrelevant but I cannot if they are relevant. I identify a lacuna in this solution, namely its reliance without argument on the hidden assumption that my killing YS is possible: if it is impossible, it is not compossible with anything. I argue that this lacuna is important, and I sketch a different solution to the paradox. (shrink)

Introduction Reza Davari Ardakni, the Iranian contemporary philosopher, distinguishes development from Western modernity; in that it considers modernity as natural and organic changes that Europe has gone through, but sees development as a planned design for implementing modernity in other countries. As a result, the closedness of development concerns only the developing countries, not Western modern ones. Davari emphasizes that the Western modernity has a universality that pertains to a unique reason and a unified world. The only way of thinking (...) in this world is a philosophical thought based on human self-centered reason, and given the pervasiveness of Western civilization. Therefore, Davari does not consider Westernization as mere imitation of Western customs and methods, but rather as a way of existence in the world. Westernization is a subjective view of the world and beings. Westernization is not optional, enabling non-Western people to avoid it. According to the Westernization scenario, the world today is entirely Westernized, and Davari considers Westernization as the inevitable fate of the people of this era, seeing two alternatives for them, both of which ultimately lead to the same destination, which is to embrace development; either they seize the power of science and technology and join the process of global modernization and participate in it, or they become subdued by this process and accept it without participation. Davari regards the first type of Westernization as active and the second type as passive. Problematique Therefore, underdevelopment is not a concept of the ancient world, nor even of a world between the ancient and the modern, or on the threshold of modernization. Underdevelopment is a condition of suspension and timelessness and being exposed to modernization. To escape the paradox of underdevelopment, which is the inevitable historical fate of non-modernized societies, Davari sees no way out other than embracing development. In other words, Westernized societies, which have become confused due to modernization, have no escape route other than turning to development. Therefore, some critics of Davari accuse the theory of Westernization of being a theoretical rupture. M. T. Tabatabaei, by rejecting the theoretical rupture in the theory of Westernization, believes that in the argument of Davari, we are only faced with a shift from a philosophical to an intellectual level. Tabatabaei, by avoiding providing a philosophical response to the critics of the theoretical rupture, believes that the introduction of active Westernization and collaboration in science and technology as a solution to escape from underdevelopment conditions, is only a shift from a philosophical level to an intellectual level and does not involve a rupture. Therefore, it seems that the philosophical issue of how or the possibility of escaping from underdevelopment conditions is still an open non answered problem. In this study, seeking a philosophical answer to this problem, an attempt has been made to summarize Davari's definitions of development, underdevelopment, participation in the world of science, and the role of humanities and social sciences in development, using his writings and speeches. It is proposed that a way to escape from the clesedness of development based on Davari's views, is to make use of analytical method with emphasizing on concepts and theories of the philosophy and metaphysics of science. Argument According to Davari, the social and human sciences that are responsible for development planning in underdeveloped societies must consider the characteristics of underdevelopment in order to facilitate the transition to more favorable conditions. Davari identifies the following conditions for successful development: 1) replacing tradition with science as the organizing and coordinating principle in society, 2) recognizing the universality of philosophy and science of the Western modernity and the impossibility of blindly imitation and adopting it, 3) inevitability of actively engaging and interacting with development, 4) recognizing the internal dynamics of scientific progress and avoiding authoritarian control, and 5) promoting free participation in the scientific paradigms. Therefore, Davari suggests the following steps towards development: 1) recognizing and understanding the problems of society and the local ecosystem, 2) understanding the philosophical and cultural foundations of Western civilization, 3) understanding the historical context and paradigms of science, 4) understanding the philosophical and metaphysical foundations of science, 5) recognizing the intellectual and philosophical capacities of our own community, and 6) reflecting our own philosophical and metaphysical assumptions in the scientific world in a way that is compatible with scientific methods. Given the motivations for change in science at both the global and national levels, including the emergence of heterodox or indigenous sciences, and the inevitable nature of development, Davari points to the possibility of a path between absolute rejecting or accepting the mainstream social and human sciences. However, this path is challenging and contingent upon the aforementioned conditions and steps of transition. Conclusion It is necessary to seek this path within the realm of the philosophy and metaphysics of science, particularly in the origins and foundations of the social and human sciences. Research in the metaphysics and philosophy of the social sciences provides the opportunity for active scientific engagement in the scientific paradigms and a reconsideration of the foundations of science, allowing for different philosophical foundations while are compatible with scientific methods. Successfully finding a path between absolute rejecting or accepting the existing social sciences will lead to an internal transformation within the field of science and, in fact, will advance the boundaries of knowledge. Therefore, it is possible, while adhering to the conditions of transition and actively participating in the world of science and technology, and accepting the unity of modernity and avoiding selectivity and imitation, to search for a way to overcome the closedness of development through a reconsideration of the philosophical and metaphysical foundations of science, while recognizing our own intellectual heritage and critically assessing Western science and technology. (shrink)

ABSTRACT The individual-community relationship has always been one of the most fundamental topics of social sciences. In sociology, this is known as the micro-macro relationship while in economics it refers to the processes, through which, individual actions lead to macroeconomic phenomena. Based on philosophical discourse and systems theory, many sociologists even use the term "emergence" in their understanding of micro-macro relationship, which refers to collective phenomena that are created by the cooperation of individuals, but cannot be reduced to individual actions. (...) "Emergence" theories attempt to explain the nature of society as a complex system by examining how individuals and their relationships lead to the creation of integrated and macro-social phenomena such as markets, educational systems, cultural beliefs, and shared social practices. As a prelude to activity, every researcher has to answer the question from the methodological point of view, how is it possible to study the behavior of social groups and how can we gain knowledge about the laws related to social groups? Anyone who deals with humanities and social sciences or any reality and phenomenon that affects human beings, inevitably deals with the reality that is emerging. In fact, emergence occurs when one level of reality emerges radically from another level. Examples of emergent levels of reality include how the mind emerges from the body; or the way society emerges from human beings. Therefore, when there is an emerging factor, different scientific disciplines should be used, because it is inevitable to talk about social affairs, psychology and neurobiology, as well as physical and even chemical. -/- INTRODUCTION Since its beginning in the 19th century, sociology has faced the fundamental question of what a social phenomena stands for? At a glance, sociologists deal with the study of social groups, collective behavior, institutions, social structures, social networks, and social dynamics, and ultimately all such phenomena are composed of individuals. Therefore, social phenomena seem to have no independent ontological status, and in this case, sociology is ultimately about reducible individuals. Different approaches about the micro-macro relationship, using the concept of "emergence", argue that although collective phenomena are created by individuals, they cannot be reduced to individual action. The term "emergence" is used to distinguish "emergent results" from " Procedural results". Results are called Procedural that can only be calculated by adding or subtracting the causes that act together. On the contrary, they are emergent outcomes that are qualitatively novel compared to the causes from which they originate. An example of such emergent results is mental characteristics that emerge from neural processes, but are not considered among the characteristics of neural processes of components - which are their origin. Philosophical debates about emergentism and reductionism focus on the mind-brain relationship, but as many philosophers have noted, they can be generalized to apply to any hierarchical set of features. The cognitive revolution reactivated a 19th century controversy between theorists of Identity and dualism. The theorists of Identity believe in reductionist materialism and elimination of metaphysics, according to which the mind is nothing more than the biological, while the dualists believe that the mind and the brain are distinct from each other. Emergence has been considered as a third way between the theories of Identity and dualism. -/- METHODOLOGY Interdisciplinarity Is fundamentally indicated by the dominance of open systems as well as social and emerging systems at different levels. Therefore, as long as we are facing a new emergentism, there will necessarily be different fields and an interdisciplinary method. The commonality of social sciences and cognitive sciences on the issue of emergence provides the possibility of interaction and exchange of concepts between these two for deeper research. Therefore, in this research, apart from the concepts of Subvenience and downward causation, we have used multiple realization and wildly disjunctive, which are used to explain the emerging concept in cognitive sciences, including neurobiology, psychology, and philosophy. For analytical and interdisciplinary approaches, after examining the concepts of subvenience, and wildly disjunctive, Individualistic and collectivist emergentism have been reviewed. And then their adequacy is criticized and evaluated in meeting strong emergence conditions. -/- FINDINGS Philosophers of the mind have been able to define the conditions of irreducibility and downward causation, which are essential for strong emergence, by using the principle of subvenience with the help of multiple realization and wildly disjunctive principles. Therefore, by definition, emergentist individualism suffers from the problem of how to explain downward causality and irreducibility, and emergentist collectivism faces the challenge of reification. The analysis of the challenges facing the two methodological approaches of individualism and collectivism leads us to three unresolved issues about the emerging phenomenon, which are realism, downward causality, and mechanism. Despite the differences in the stances of these two approaches regarding the aforementioned triple problems, individualists and collectivists both agree that some social characteristics are reducible; and some others are irreducible due to their complexity, the determination of which, depends on the case study of the mechanism of emergence of each social characteristic. -/- CONCLUSION An emergence that is consistent with reductionism is called a weak emergence. And strong emergence includes the principle of irreducibility and downward causality. According to strong emergence, the characteristics of social phenomena have downward causal power, which cannot be reduced to the causal forces. The principle of subvenience, together with multiple realization and wildly disjunctive, can provide the conditions of irreducibility and downward causality, which are essential conditions of strong emergence. Based on the philosophical analysis of two methodological approaches, individualist and collectivist, it can be concluded that emergentist individualism suffers from the problem of how to explain downward causality and irreducibility, and reification collectivism faces the challenge of reification. The analysis of the problems faced by these two approaches leads us to three unresolved issues, which are realism, downward causality, and mechanism. individualist emergentists acknowledge the existence of emergent social characteristics, but despite this, they believe that these characteristics are not real but merely analytical constructs that require explanation based on individuals and their mutual actions. But collectivists argue that emergentism yields a categorical ontology and supports social realism. They accept the dependence of social characteristics on individuals, but claim that social entities and structures are ontologically independent. Individualists and collectivists both agree that some social characteristics are reducible; and others are irreducible due to their complexity; and the only way to recognize this is to engage in empirical studies of the mechanisms and temporal processes of "emergence" that create social characteristics. -/- NOVELTY The newness of this compact article is as follows: a) Presenting an interdisciplinary approach using the analysis of philosophy of cognitive sciences, including the philosophy of mind, neurobiology and psychology to formulate the issue of social emergence; b) Criticizing individualist and collectivist methodological approaches to the issue of social emergence and explaining the sufficiency and shortcomings of both in providing weak and strong emerging conditions; c) Explaining and categorizing the challenges facing methodological approaches in explaining the phenomenon of social emergence, in three categories: realism, downward causality, and mechanism. BIBLIOGRAPHY Beckermann, A., Flohr, H., & Kim, J. (eds.) (1992). Emergence or reduction? Essays on the prospects of nonreductive physicalism. Berlin: Walter de Gruyter. Bhaskar, R. (1979). The possibility of Naturalism. New York: Routledge. Bhaskar, R., Danermark, B. & Price, L. (2018). Interdisciplinarity and wellbeing: A critical realist general theory of interdisciplinarity. London and New York: Routledge. Blau, P.M. (1981). Introduction: diverse views of social structure and their common denominator. In Blau, P.M. & Merton, R.K. (eds.), Continuity in Structural Inquiry (pp. 1–23). Beverly Hills: Sage. Blau, P.M. (1987). Microprocess and macrostructure. In K.S. Cook (ed.), Social Exchange Theory (pp. 83–100). Newbury Park, CA: Sage. Brooks, R.A., & Maes, P. (eds). (1994). Artificial life IV; proceedings of the Fourth International Workshop on the Synthesis and Simulation of Living Systems. Cambridge, Mass: MIT Press. Clark, A. (1997). Being there: Putting brain, body, and world together again. Cambridge, Mass.: MIT Press. Coleman, J. S. (1987). Microfoundations and macrosocial behavior. In: J. C. Alexander, B. Giesen, R. Munch, & Neil J. Smelser (Eds.). The Micro-Macro Link (pp. 153–73). Berkeley: University of California. Coleman, J. S. (1990). Foundations of social theory. Cambridge, MA: Harvard University Press. Elster, J. (1985). Making sense of Marx. New York: Cambridge University Press. Fodor, J.A. (1974). Special sciences (Or: The disunity of science as a working hypothesis). Synthese, 28(2), 97–115. Fodor, J.A. (1989). Making mind matter more. Philosophical Topics, 17, 59-79. Giddens, A. (1984). The constitution of society: Outline of the theory of structuration. Berkeley: University of California Press. Hempel, C.G. (1965). Aspects of scientific explanation and other essays in the philosophy of science. New York: The Free Press. Horgan, T. (1993). From supervenience to superdupervenience: meeting the demands of a material world. Mind, 102, 555-586. Humphreys, P. (1997). How properties emerge”. Philosophy of Science, 64, 1-17. Kim, J. (1999). Making sense of emergence. Philosophical Studies, 95, 3–36. Kincaid, H. (1997). Individualism and the unity of science. New York: Rowman & Littlefield. Lewis, D.K. (1986). The plurality of worlds. Oxford: Oxford University Press. Nigel, G., & Conte, R. (eds.) (1995). Artificial societies; The computer simulation of social life. London: UCL Press. O’Connor, T. (1994). Emergent properties. American Philosophical Quarterly, 31, 91-104. Popper, K.R. (1968). Conjectures and refutations: The Growth of Scientific Knowledge. New York: Harper & Row. Sawyer, R. K. (2001). Emergence in sociology: contemporary philosophy of mind and some implications for sociological theory. American Journal of Sociology, 107, 551-585. Sawyer, R. K. (2004). The mechanisms of emergence. Philosophy of the Social Sciences, 34, 260–282. Sawyer, R. K. (2005). Social emergence: societies as complex systems. Cambridge: Cambridge University Press. Sawyer, R.K. (2003). Nonreductive individualism: Part 2, Social causation. Philosophy of the Social Sciences, 33, 203–224. Winch, P. (1993). The idea of a social science and its relation to philosophy‭ (SAMT, Trans.). Tehran, Iran: SAMT. (shrink)

Abstract: Smoke detectors are critical devices for early fire detection and life-saving interventions. This research paper explores the application of Artificial Neural Networks (ANNs) in smoke detection systems. The study aims to develop a robust and accurate smoke detection model using ANNs. Surprisingly, the results indicate a 100% accuracy rate, suggesting promising potential for ANNs in enhancing smoke detection technology. However, this paper acknowledges the need for a comprehensive evaluation beyond accuracy. It discusses potential challenges, such as overfitting, dataset size, (...) and class imbalance, and presents strategies employed to address these issues. Additionally, the paper emphasizes the importance of alternative evaluation metrics, including precision, recall, and F1-score, to assess the model's performance comprehensively. Detailed information regarding the model architecture, data preprocessing, and hyperparameter tuning is provided to enhance the reproducibility of the research. The study also discusses ethical considerations and the implications of false positives and false negatives in smoke detection applications. While achieving 100% accuracy is a notable accomplishment, this paper calls for cautious interpretation and further validation in real-world settings. It concludes by highlighting areas for future research and improvement in smoke detection technology, emphasizing the need for practical deployment and the reduction of false alarms. (shrink)

Knowledge representation (KR) is actually more than representation: It involves also inference, namely inference of “new” knowledge, i.e. new facts. Logic programming is a suitable KR medium, but more often than not discussions on this programming paradigm focus on aspects other than KR. In this paper, I elaborate on the general theory of logic programming and give the essentials of two of its main implementations, to wit, Prolog and Datalog, from the viewpoint of deductive computing over knowledge bases, which includes (...) deductive programming. (shrink)

David Lewis presented Convention as an alternative to the conventionalism characteristic of early-twentieth-century analytic philosophy. Rudolf Carnap is well known for suggesting the arbitrariness of any particular linguistic convention for engaging in scientific inquiry. Analytic truths are self-consistent, and are not checked against empirical facts to ascertain their veracity. In keeping with the logical positivists before him, Lewis concludes that linguistic communication is conventional. However, despite his firm allegiance to conventions underlying not just languages but also social customs, he pioneered (...) the view that convening need not require any active agreement to participate. Lewis proposed that conventions arise from “an exchange of manifestations of a propensity to conform to a regularity” (87–8). In reasserting the conventional quality of languages and other practices resting on mutual expectations, Lewis comfortably works within the analytic tradition. Yet he also deviates from his predecessors because his conventionalist approach is comprehensively grounded in instrumentalism. Lewis adopts an extension of David Hume's desire-belief psychology articulated in rational choice theory. He develops his philosophy of convention relying on the highly formal mid-twentieth-century expected utility and game theories. This attempt to account for language and social customs wholly in terms of instrumental rationality has the implication of reducing normativity to preference satisfaction. Lewis’ approach continues in the trend of undermining normative political philosophy because institutions and practices arise spontaneously, without the deliberate involvement of agents. Perhaps Lewis’ Convention is best seen as a resurgent form of analytic philosophy, characterized by “a style of argument, hostility to [ambitious] metaphysics, focus on language, and the dominance of logic and formalization” that solves the dilemma of “combining the analytic inheritance…with normative concerns” by reducing normativity to individuals’ preference fulfillment consistent with the axioms of rational choice. (shrink)

On how medieval philosophy is not (only) theology.